package entity.lemming;

import entity.Entity;
import level.*;

/**
 * The Digger Lemming, a Lemming that digs vertically through the terrain.
 * 
 * @author Neil Cowzer
 */
public class Digger extends Lemming {

	/**
	 * Create an instance of the Digger Lemming.
	 * 
	 * @param x the starting x-coordinate.
	 * @param y the starting y-coordinate.
	 */
	/*@ requires 0 <= x && 0 <= y && level != null;
		assignable speed_X && speed_Y && energy;
		ensures speed_X == 0 && speed_Y > 0 && energy == 100;
	 */
	public Digger(int x, int y){
			super("tobefilled.gif", x, y);
			speed_X = 0;
			speed_Y = 1;
			energy = 100;
		}


	/**
	 * Checks for a collision with another Entity
	 * 
	 * @param other another Entity eg Terrain, Lemming.
	 * @return true if a collision has occured.
	 */
	public /*@ pure @*/ boolean collision(Entity other) {
		// TODO Auto-generated method stub
		return false;
	}

	/** Perform the logic of moving a Lemming. */
	//@ ensures y = \old(y) + speed_Y && energy == \old(energy) -1;
	public void move() {
		// TODO Auto-generated method stub
	}
	
	/** Override turnAround. */
	public void turnAround(){
		// do nothing!
	}

}
